<?
function item_menu($numero, $titulo) {
     echo '        <li id="p-'.$numero.'"';
     if (opcion_numero()==$numero) { echo ' class="actual"'; }
     echo '>';
     enlace($numero, $titulo);
}

function menu_normal() {// genera el menú si nada (menu=no) se lo impide
  echo '  <div id="menu-principal">'; br();
  echo '    <ul id="menu">'; br();
  
         /* ítems de menú, generados con la función de arriba */
           item_menu(100, 'Página principal'); echo '</li>'; br();
           item_menu(200, 'GNU/Linux');
                 br();
                 echo '             <ul id="menu-2">'; br();
           item_menu(210, 'Linus Torvalds'); echo '</li>'; br();
           item_menu(220, 'Richard Stallman'); echo '</li>'; br();
           item_menu(230, 'Historia'); echo '</li>'; br();
           item_menu(240, 'Software libre'); echo '</li>'; br();
                 echo '             </ul></li>';  br(2);
           item_menu(300, 'Distribuciones');
                 br();
                 echo '             <ul id="menu-3">'; br();
           item_menu(310, 'Qué son'); echo '</li>'; br();
           item_menu(320, 'Las más usadas'); br();
                 br();
                 echo '             <ul id="menu-32">'; br();
           item_menu(321, 'Ubuntu'); echo '</li>'; br();
           item_menu(322, 'debian'); echo '</li>'; br();
           item_menu(323, 'openSUSE'); echo '</li>'; br();
           item_menu(324, 'Fedora'); echo '</li>'; br();
           item_menu(325, 'Mandriva'); echo '</li>'; br();
                 echo '           </ul>';
           item_menu(330, 'Otras'); br();
                 br();
                 echo '             <ul id="menu-33">'; br();
           item_menu(331, 'Españolas'); echo '</li>'; br();
           item_menu(332, 'Integradas en Windows'); echo '</li>'; br();
                 echo '             </ul></li>'; br(2);
                 echo '           </ul>'; br (2);
           item_menu(400, 'Enlaces interesantes'); echo '</li>'; br(2);
           item_menu(500, 'Personalizar esta página'); echo '</li>'; br(2);
  
  echo '       </ul>'; br(3);
      
  validador();
  
  echo ' </div>';
}

function menu_no() {
  echo '        <!----- no hay menú ----->'; br();
}

?>


<!-- Menú principal -->

<?

if ($_GET["menu"]=='no') {
    menu_no();
} else {
    menu_normal();
}

?>

<!-- Fin del menú principal -->


<!-- Contenido de la página -->
 <div id="contenido"><? br(2); /* continúa en pagina.php */ ?>
